structured derivations造句

A structured derivation has a precise mathematical interpretation, and the syntax and the layout are precisely defined.
"' Structured derivations ( SD ) "'is a logic-based format for presenting mathematical solutions and proofs created by Prof . Ralph-Johan Back and Joakim von Wright at 舃o Akademi University, Turku, Finland.
It's difficult to find structured derivations in a sentence. 用structured derivations造句挺难的